Agent Logic - PDFSEARCH.IO - Document Search Engine

Agent Logic
Results: 192

#	Item
111	Automating Belief Revision in AgentSpeak Natasha Alechina1 , Rafael H. Bordini2 , Jomi Fred H¨ubner 3, Mark Jago1 , and Brian Logan1 1 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 07:44:11 Science AgentSpeak Jason Belief revision Logic programming Algorithm Programming language Belief–desire–intention model Epistemology Multi-agent systems Computing Artificial intelligence
112	Decision-Theoretic Throttling for Optimisitc Simulations of Multi-Agent Systems Michael Lees, Brian Logan, School of Computer Science and Information Technology University of Nottingham, UK {mhl,bsl}@cs.nott.ac.uk Chen D Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-12-28 11:41:25 Science Computing Simulation Rollback SQL Logic simulation Agent-based model Timestamp Schedule Scientific modeling Transaction processing Data management
113	Computationally grounded account of belief and awareness for AI agents Natasha Alechina and Brian Logan Abstract We discuss the problem of designing a computationally grounded logic Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-06-28 12:27:18 Artificial intelligence Multi-agent systems Philosophy of language Branches of philosophy Modal logic 2APL Epistemic modal logic Belief revision Interpretation Logic Science Mathematical logic
114	Distributed Simulation of MAS Michael Lees1 , Brian Logan1, Rob Minson2 , Ton Oguara2 , and Georgios Theodoropoulos2 1 School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-02-14 13:22:34 Science Agent-based model Simulation SQL Discrete event simulation Logic simulation Timestamp Scientific modeling Computing Electronic engineering
115	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
116	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-05 07:12:06 Modal logic Software engineering Logic Non-classical logic Maude system
117	Computational Models for Normative Multi-Agent Systems Natasha Alechina1 , Nick Bassiliades2 , Mehdi Dastani3 , Marina De Vos4 , Brian Logan1 , Sergio Mera5 , Andreasa Morris-Martin6 , and Fernando Schapachnik5 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-05-13 11:06:11 Science Norm Defeasible reasoning 2APL Agent-based model Deontic logic Software agent Actor model Reason Multi-agent systems Computing Artificial intelligence
118	TIME WINDOWS IN MULTI-AGENT DISTRIBUTED SIMULATION Michael Lees1 , Brian Logan1 , Georgios Theodoropoulos2 1 School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK {mhl,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-06-15 12:12:14 Simulation Computing Modeling and simulation Agent-based model Complex systems theory Discrete event simulation Logic simulation Military simulation Flocking Scientific modeling Science Electronic engineering
119	aamas06-agentspeak-belief-revision.dvi Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 06:53:31 Science AgentSpeak Belief revision Jason Theory of justification Belief–desire–intention model Belief Non-monotonic logic Epistemology Multi-agent systems Artificial intelligence Computing
120	Atomic Intentions in Jason+ Daniel Kiss, Neil Madden, and Brian Logan School of Computer Science University of Nottingham, UK. [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-02-01 12:03:32 Software engineering AgentSpeak Prolog Logic programming Belief–desire–intention model Atom 2APL Belief–desire–intention software model Computing Multi-agent systems Artificial intelligence